package vsvm.gui.events;

import java.util.EventListener;

public interface WorkspaceChangedListener extends EventListener {
	public void workspaceChanged();
}
